Regular splicing languages and subclasses
نویسندگان
چکیده
Recent developments in the theory of finite splicing systems have revealed surprising connections between long-standing notions in the formal language theory and splicing operation. More precisely, the syntactic monoid and Schützenberger constant have strong interaction with the investigation of regular splicing languages. This paper surveys results of structural characterization of classes of regular splicing languages based on the above two notions and discusses basic questions that motivate further investigations in this field. In particular, we improve the result in [6] that provides a structural characterization of reflexive symmetric splicing languages by showing that it can be extended to the class of all reflexive splicing languages: this is the larger class for which a characterization is known. © 2005 Elsevier B.V. All rights reserved.
منابع مشابه
Deterministic Fuzzy Automaton on Subclasses of Fuzzy Regular ω-Languages
In formal language theory, we are mainly interested in the natural language computational aspects of ω-languages. Therefore in this respect it is convenient to consider fuzzy ω-languages. In this paper, we introduce two subclasses of fuzzy regular ω-languages called fuzzy n-local ω-languages and Buchi fuzzy n-local ω-languages, and give some closure properties for those subclasses. We define a ...
متن کاملLinear and Circular Splicing Systems
We consider closure properties of classes of languages under the operation of iterated splicing. The main result is that full abstract families of languages are closed under splicing using a regular set of splicing rules. We have the same result for families of circular strings, with two extra assumptions: the languages in the abstract family must be closed under cyclic permutations and the spl...
متن کاملInferring Uniquely Terminating Regular Languages from Positive Data
We define a new subclass of regular languages, called uniquely terminating regular languages, which can be inferred from positive data. The class of uniquely terminating regular languages and the previously known subclasses of regular languages inferable from positive data are incomparable.
متن کاملRegularity of Splicing Languages
Motivated by the recombinant behavior of DNA, Tom Head introduced a scheme for the evolution of formal languages called splicing. We give a simpler proof of the fundamental fact that the closure of a regular language under iterated splicing using a finite number of splicing rules is again regular. We then extend this result in two directions, by incorporating circular strings and by using infin...
متن کاملSplicing Languages Generated with One Sided Context
The splicing system concept was created in 1987 to allow the convenient representation in formal language theoretic terms of recombinant actions of certain sets of enzymes on double stranded DNA molecules. Characterizations are given here for those regular languages that are generated by splicing systems having splicing rules that test context on only one side. An algorithm is given for decidin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 340 شماره
صفحات -
تاریخ انتشار 2005